Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
51	randoCoP: Randomizing the Proof Search Order in the Connection Calculus Thomas Raths Jens Otten Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2010-02-18 14:00:10
52	randoCoP: Randomizing the Proof Search Order in the Connection Calculus Thomas Raths Jens Otten Add to Reading List Source URL: www.jens-otten.de Language: English - Date: 2012-03-30 11:05:47
53	Project Thesis A Proof System for the Modal µ-calculus Oliver Friedmann Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:00
54	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
55	Introduction Calculus Proof technique Add to Reading List Source URL: www-mitacs2009.imag.fr Language: English - Date: 2009-06-10 09:52:50
56	Introduction Calculus Proof technique Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57
57	Model Checking for π-Calculus Using Proof Search Alwen Tiu INRIA Lorraine 615 rue du Jardin BotaniqueVillers-l`es-Nancy, France Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2006-01-18 20:52:47
58	From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/ Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:19 Automated theorem proving Propositional calculus Deduction Natural deduction Sequent calculus Resolution Rewriting Method of analytic tableaux Rule of inference Logic Mathematical logic Proof theory
59	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
60	On Malliavin’s proof of H¨ormander’s theorem March 10, 2011 Martin Hairer Mathematics Department, University of Warwick Email: Add to Reading List Source URL: www.hairer.org Language: English - Date: 2011-03-10 06:31:00 Vectors Stochastic calculus Integral calculus Operator theory Functional analysis Malliavin calculus Frobenius theorem Vector bundle Heat equation Mathematical analysis Mathematics Algebra